Sandwiching the Consistency Strength of Two Global Choiceless Cardinal Patterns

نویسنده

  • Arthur W. Apter
چکیده

We provide upper and lower bounds in consistency strength for the theories “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω” and “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω1”. In particular, our models for both of these theories satisfy “ZF + ¬ACω + κ is singular iff κ is either an uncountable limit cardinal or the successor of an uncountable limit cardinal”. There are many instances in the literature where choiceless large cardinal patterns are initially forced from strong hypotheses which one later sees can be weakened somewhat. For example, it is shown in [4] that the models constructed in [11] from an almost huge cardinal can actually be ∗2000 Mathematics Subject Classifications: 03E25, 03E35, 03E45, 03E55. †

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The strength of choiceless patterns of singular and weakly compact cardinals

We extend the core model induction technique to a choiceless context, and we exploit it to show that each one of the following two hypotheses individually implies that AD, the Axiom of Determinacy, holds in the L(R) of a generic extension of HOD: (a) ZF + every uncountable cardinal is singular, and (b) ZF + every infinite successor cardinal is weakly compact and every uncountable limit cardinal...

متن کامل

A remark on the tree property in a choiceless context

We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” follows from the consistency of a proper class of supercompact cardinals. This extends earlier results due to the author showing that the consistency of the theory “ZF + ¬ACω + Every successor cardinal is regular + E...

متن کامل

The consistency strength of choiceless failures of SCH

We determine exact consistency strengths for various failures of the Singular Cardinals Hypothesis (SCH) in the setting of the Zermelo-Fraenkel axiom system ZF without the Axiom of Choice (AC). By the new notion of parallel Prikry forcing that we introduce, we obtain surjective failures of SCH using only one measurable cardinal, including a surjective failure of Shelah’s pcf theorem about the s...

متن کامل

Violating the Singular Cardinals Hypothesis Without

We extend a transitive model V of ZFC +GCH cardinal preservingly to a model N of ZF + “GCH holds below אω” + “there is a surjection from the power set of אω onto λ” where λ is an arbitrarily high fixed cardinal in V . The construction can roughly be described as follows: add אn+1 many Cohen subsets of אn+1 for every n < ω , and adjoin λ many subsets of אω which are unions of ω-sequences of thos...

متن کامل

The Consistency Strength of the Tree Property at the Double Successor of a Measurable Cardinal

The Main Theorem is the equiconsistency of the following two statements: (1) κ is a measurable cardinal and the tree property holds at κ; (2) κ is a weakly compact hypermeasurable cardinal. From the proof of the Main Theorem, two internal consistency results follow: If there is a weakly compact hypermeasurable cardinal and a measurable cardinal far enough above it, then there is an inner model ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009